$\forall$$M$:MsgA, $k$:Knd. $k$ declared in $M$ $\in$ Prop